\section{Diagramas de Comportamiento}

Para este TP decidimos utilizar la variante de las máquinas de estados finitos
conocida como LTS o Sistema de Transiciones Etiquetadas. Presentamos a
continuación los cuatro diagramas desarrollados, correspondientes a los
dispositivos móviles, al sistema principal, al sistema gestor del depósito y al
sistema de márketing.

% RECORDAR PONER TITULOS DE MAQUINAS! 
% DISPOSITIVO ES {i} o {1...n}, RECORDAR PONERLOS!

\begin{figure}[h!]
\centering
\includegraphics[width=\textwidth]{imgs/FSM-dispositivoMovil.png}
\caption{Dispositivo móvil \{1..n\}}
\end{figure}

\begin{figure}[h!]
\centering
\includegraphics[width=\textwidth]{imgs/FSM-sistema.png}
\caption{Sistema principal}
\end{figure}

\begin{figure}[h!]
\centering
\includegraphics[width=\textwidth]{imgs/FSM-deposito.png}
\caption{Sistema de gestión del depósito}
\end{figure}

\begin{figure}[h!]
\centering
\includegraphics[width=0.7\textwidth]{imgs/FSM-marketing.png}
\caption{Sistema de márketing}
\end{figure}

En cuanto a especificar la trazabilidad a partir de este diagrama en particular, creemos que se encuentra propiamente referenciado
desde los otros diagramas, y que no dice mucho hacerlo desde aquí. Esto se debe a que los estos diagramas modelan el
comportamiento de los elementos con los que trabajamos, cosa en la que se basan las distintas actividades y usos,
no al revés. En los respectivos usos y actividades, entonces, referenciamos qué parte del comportamiento descripto por
nuestros LSM se está utilizando.


\newpage